((v1 v2 4) (v1 v3 5) (v2 v3 1))
40
()